substitute in an entail